@inproceedings{heunenkarvonenkaarsgaard:reversiblearrows,
  title={Reversible effects as inverse arrows},
  author={Heunen, C. and Kaarsgaard, R. and Karvonen, M.},
  booktitle = {Mathematical Foundations of Programming Semantics (MFPS)},
  series = {Electronic Notes in Theoretical Computer Science},
  year = {2018},
  volume = {341},
  pages = {179--199},
  publisher = {Elsevier},
  DOI = {10.1016/j.entcs.2018.11.009}
}